]> dgit.raspbian.org Git - gnome-shell.git/commit
windowManager: Complete interrupted size change effects
authorFlorian Müllner <fmuellner@gnome.org>
Fri, 8 Nov 2019 17:22:40 +0000 (18:22 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Fri, 8 Nov 2019 17:58:55 +0000 (18:58 +0100)
commitfc71f8b33a64854e2c0247a54e442f2c3ca0b487
tree2a8afb76d90e609a87461229f5c72c447d280acc
parentcb7374b1ec0ecc43265668272984a8f5490140b1
windowManager: Complete interrupted size change effects

Resizing effects are more finicky as other effects, as the actual
animation is delayed until we receive the ::size-changed signal.

However that signal may never be emitted if the window is destroyed
just after starting the size-change effect, in which case the effect
is never completed, blocking mutter from destroying the corresponding
window actor.

Address this by tracking when a resize effect is pending, and complete
the effect when appropriate.

https://gitlab.gnome.org/GNOME/mutter/issues/655
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/815
js/ui/windowManager.js